Vagueness and Extensionality
نویسندگان
چکیده
We introduce a property of set to represent vagueness without using truth value. It has gotten less attention in fuzzy set theory. We introduce it by analyzing a well-known philosophical argument by Gearth Evans. To interpret ‘a is a vague object’ as ‘the Axiom of Extensionality is violated for a’ allows us to represent a vague object in Evans’s sense, even within classical logic, and of course within fuzzy logic.
منابع مشابه
Extensional Crisis and Proving Identity
Extensionality axioms are common when reasoning about data collections, such as arrays and functions in program analysis, or sets in mathematics. An extensionality axiom asserts that two collections are equal if they consist of the same elements at the same indices. Using extensionality is often required to show that two collections are equal. A typical example is the set theory theorem (∀x)(∀y...
متن کاملExtensionality and continuity
In this work, we investigate a relationship between extensionality and continuity of fuzzy relations in the frame of BL-algebras. We found conditions when extensionality implies continuity and vice versa. Problem is formulated and solved algebraically.
متن کاملExtensionality of Simply Typed Logic Programs
We set up a framework for the study of extensionality in the context of higher-order logic programming. For simply typed logic programs we propose a novel declarative semantics, consisting of a model class with a semicomputable initial model, and a notion of extensionality. We show that the initial model of a simply typed logic program, in case the program is extensional, collapses into a simpl...
متن کاملFinite Type Structures within Combinatory Algebras
Inside a combinatory algebra, there are 'internal' versions of the nite type structure over !, which form models of various systems of nite type arithmetic. This paper compares internal representations of the intensional and extensional functionals. If these classes coincide, the algebra is called ft-extensional. Some criteria for ft-extensionality are given and a number of well-known ca's are ...
متن کاملGeneral Models and Extensionality
Construction of a general model falsifying the Axiom of Extensionality shows that the general models of Henkin s article "Completeness in the Theory of Types" are not all sound interpretations of the system. A modification of the definition of general model remedies the situation. GENERAL MODELS AND EXTENSIONALITY by Peter B. Andrews §
متن کامل